symbolically executing mobile apps the good the bad and published presentations and documents on DocSlides.